On Domain-speciic Macro Expansion and Its Use in Optimizing Code Generation Submission to Workshop on Domain-speciic Languages

We identify two types of domain-speciic features in macro expansion systems: with the expansion-time values of domain-speciic attributes the user can control conditional expansion; domain-speciic actions are performed by the system, and we divide them into expansion-integrated and conversion-integrated ones. The domain of our implemented prototype system is machine-level code generation, but we also formulate a model intended to capture domain-speciic macro expansion in various domains. An important property of the model is that the expansion result is independent of the macro call expansion order.